https://www.imjuna.com/2023/05/source-code-forward-chaining.html